4 found
Order:
  1.  37
    Structural properties of Q -degrees of n-c. e. sets.Marat M. Arslanov, Ilnur I. Batyrshin & R. Sh Omanadze - 2008 - Annals of Pure and Applied Logic 156 (1):13-20.
    In this paper we study structural properties of n-c. e. Q-degrees. Two theorems contain results on the distribution of incomparable Q-degrees. In another theorem we prove that every incomplete Q-degree forms a minimal pair in the c. e. degrees with a Q-degree. In a further theorem it is proved that there exists a c. e. Q-degree that is not half of a minimal pair in the c. e. Q-degrees.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  3
    Computably and punctually universal spaces.Ramil Bagaviev, Ilnur I. Batyrshin, Nikolay Bazhenov, Dmitry Bushtets, Marina Dorzhieva, Heer Tern Koh, Ruslan Kornev, Alexander G. Melnikov & Keng Meng Ng - 2025 - Annals of Pure and Applied Logic 176 (1):103491.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  25
    Non‐isolated quasi‐degrees.Ilnur I. Batyrshin - 2009 - Mathematical Logic Quarterly 55 (6):587-597.
    We show that non-isolated from below 2-c.e. Q -degrees are dense in the structure of c.e. Q -degrees. We construct a 2-c.e. Q -degree, which can't be isolated from below not only by c.e. Q -degrees, but by any Q -degree. We also prove that below any c.e. Q -degree there is a 2-c.e. Q -degree, which is non-isolated from below and from above.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  32
    Quasi‐completeness and functions without fixed‐points.Ilnur I. Batyrshin - 2006 - Mathematical Logic Quarterly 52 (6):595-601.
    We prove a completeness criterion for quasi-reducibility and generalize it to higher levels of the arithmetical hierarchy. As an application of the criterion we obtain Q-completeness of the set of all pairs such that the prefix-free Kolmogorov complexity of x is less than n.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark